Proof assistant

Results: 176



#Item
31A Proof Planning Framework For Isabelle Lucas Dixon NI VER

A Proof Planning Framework For Isabelle Lucas Dixon NI VER

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-03-27 10:16:29
32Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy

Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy

Add to Reading List

Source URL: andrius.velykis.lt

Language: English - Date: 2015-07-27 06:09:15
33IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2007-02-25 13:12:10
    34UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics

    UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2005-12-15 09:19:07
    35A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK

    A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2005-09-01 07:28:34
    36Building a file system with FSCQ infrastructure Haogang Chen Abstract FSCQ is a file system with a machine-checkable proof (using the Coq proof assistant [2]) that its implementation meets its specification, even under c

    Building a file system with FSCQ infrastructure Haogang Chen Abstract FSCQ is a file system with a machine-checkable proof (using the Coq proof assistant [2]) that its implementation meets its specification, even under c

    Add to Reading List

    Source URL: css.csail.mit.edu

    Language: English - Date: 2015-06-14 19:45:36
      37Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant tifact “Every block of stone has a statue inside it and it is the task of the sculptor to discover it.”

      Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant tifact “Every block of stone has a statue inside it and it is the task of the sculptor to discover it.”

      Add to Reading List

      Source URL: pit-claudel.fr

      Language: English - Date: 2014-11-16 16:27:57
        38IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

        IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

        Add to Reading List

        Source URL: dream.inf.ed.ac.uk

        Language: English - Date: 2008-12-03 05:18:38
          39Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

          Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

          Add to Reading List

          Source URL: www.cs.ru.nl

          Language: English - Date: 2009-04-02 18:22:28